Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
221	Automated Discovery of Composite SAT Variable-Selection Heuristics Alex Fukunaga Computer Science Department University of California, Los Angeles [removed] Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:23:57 Constraint programming Mathematics Operations research Heuristics WalkSAT NP-complete problems Boolean satisfiability problem Local search Search algorithm Theoretical computer science Applied mathematics Logic in computer science
222	Novel Approaches to Numerical Software with Result Verification Laurent Granvilliers , Vladik Kreinovich , and Norbert Müller Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2003-10-13 19:19:43 Interval arithmetic Constraint satisfaction Constraint logic programming Local consistency Interval Integral Numerical analysis Mathematical optimization Probability box Constraint programming Mathematics Applied mathematics
223	Actes JFPC[removed]Improving Constraint Modelling Using Visualization Helmut Simonis Cork Constraint Computation Centre Add to Reading List Source URL: jfpc2010.greyc.fr Language: English - Date: 2011-05-09 04:10:16 Computer programming Constraint logic programming ECLiPSe Constraint Constraint satisfaction Constraint programming Declarative programming Software engineering
224	Synthesis of Loop-free Programs Sumit Gulwani Susmit Jha ∗ Ashish Tiwari † Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-03 21:06:21 Applied mathematics Satisfiability Modulo Theories Constraint satisfaction problem Boolean satisfiability problem Constraint logic programming Decomposition method Theoretical computer science Constraint programming Declarative programming
225	Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation The Ciao Programming Environment and Multiparadigm Programming Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-02-26 11:23:34 Programming paradigms Prolog Integrated development environments ECLiPSe Logic programming Preprocessor Emacs Ciao D Software Computing Constraint programming
226	TLP 12 (1–2): 219–252, [removed]C Cambridge University Press 2012 219 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2012-01-23 03:25:47 Constraint programming Programming paradigms Functional languages Prolog Logic programming CLP Constraint Handling Rules Curry Ciao Software engineering Computer programming Computing
227	AN INTRODUCTION TO PROLOG III 1 An Introduction to Prolog III Add to Reading List Source URL: alain.colmerauer.free.fr Language: English - Date: 2010-09-28 13:14:56 Prolog Constraint programming Programming paradigms Information Processing Language Constraint logic programming Logic programming Boolean algebra B-Prolog Software engineering Computing Computer programming
228	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:17:10 Lambda calculus Control flow Eval Scheme Env Constraint logic programming Combinatory logic LG enV Quasigroup Computing Mathematics Theoretical computer science
229	The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2002-01-03 19:01:27 Software engineering Computer programming Computing Constraint satisfaction Constraint logic programming Simplex algorithm Slack variable Linear programming Cassowary Constraint programming Mathematical optimization Operations research
230	Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Mathematical logic Constraint programming Boolean algebra Resolution Conjunctive normal form Unit propagation Davis–Putnam algorithm Ansgar Boolean satisfiability problem Automated theorem proving Theoretical computer science Mathematics

UPDATE